Automated reasoning

Results: 284



#Item
11Automated Reasoning for Web Page Layout Emina Torlak Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distrib

Automated Reasoning for Web Page Layout Emina Torlak Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distrib

Add to Reading List

Source URL: homes.cs.washington.edu

- Date: 2017-06-23 18:20:16
    12Comparing Instance Generation Methods for Automated Reasoning ∗ Swen Jacobs () and Uwe Waldmann () Max-Planck-Institut f¨ ur Informatik, Saarbr¨

    Comparing Instance Generation Methods for Automated Reasoning ∗ Swen Jacobs () and Uwe Waldmann () Max-Planck-Institut f¨ ur Informatik, Saarbr¨

    Add to Reading List

    Source URL: www.swenjacobs.com

    - Date: 2013-01-31 09:32:27
      13Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Finding Proofs in Tarskian Geometry Michael Beeson · Larry Wos

      Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Finding Proofs in Tarskian Geometry Michael Beeson · Larry Wos

      Add to Reading List

      Source URL: www.michaelbeeson.com

      - Date: 2016-06-22 16:52:52
        14springer.com Journal of Automated Reasoning Journal Metrics 2015

        springer.com Journal of Automated Reasoning Journal Metrics 2015

        Add to Reading List

        Source URL: static.springer.com

        - Date: 2016-10-17 23:42:58
          15Automated Reasoning for Web Page Layout Emina Torlak Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distrib

          Automated Reasoning for Web Page Layout Emina Torlak Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distrib

          Add to Reading List

          Source URL: cassius.uwplse.org

          - Date: 2016-08-28 20:27:19
            16Pacific Symposium on Biocomputing 15:SYNTHESIS OF PHARMACOKINETIC PATHWAYS THROUGH KNOWLEDGE ACQUISITION AND AUTOMATED REASONING LUIS TARI, SAADAT ANWAR, SHANSHAN LIANG, JÖRG HAKENBERG, CHITTA BARAL Depar

            Pacific Symposium on Biocomputing 15:SYNTHESIS OF PHARMACOKINETIC PATHWAYS THROUGH KNOWLEDGE ACQUISITION AND AUTOMATED REASONING LUIS TARI, SAADAT ANWAR, SHANSHAN LIANG, JÖRG HAKENBERG, CHITTA BARAL Depar

            Add to Reading List

            Source URL: psb.stanford.edu

            - Date: 2015-08-18 15:12:27
              17Journal of Automated Reasoning manuscript No. (will be inserted by the editor) On Interpolation in Automated Theorem Proving Maria Paola Bonacina · Moa Johansson

              Journal of Automated Reasoning manuscript No. (will be inserted by the editor) On Interpolation in Automated Theorem Proving Maria Paola Bonacina · Moa Johansson

              Add to Reading List

              Source URL: www.cse.chalmers.se

                18Automated Reasoning SS10 Grades Final Exam Student Number

                Automated Reasoning SS10 Grades Final Exam Student Number

                Add to Reading List

                Source URL: resources.mpi-inf.mpg.de

                - Date: 2010-07-30 02:42:00
                  19¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning”

                  ¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning”

                  Add to Reading List

                  Source URL: resources.mpi-inf.mpg.de

                  - Date: 2010-08-07 06:03:54
                    20Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy

                    Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy

                    Add to Reading List

                    Source URL: dream.inf.ed.ac.uk

                    - Date: 2010-05-28 10:14:09